#include "syscall.h"

int main(){
  int f1 = open("hello.h");
  char buffer[15];

  read(f1, &buffer, 15);
  write(1, &buffer, 15);
}

